abstraction-guided truncation
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
Backenköhler, Michael, Bortolussi, Luca, Großmann, Gerrit, Wolf, Verena
To understand the long-run behavior of Markov population models, the computation of the stationary distribution is often a crucial part. We propose a truncation-based approximation that employs a state-space lumping scheme, aggregating states in a grid structure. The resulting approximate stationary distribution is used to iteratively refine relevant and truncate irrelevant parts of the state-space. This way, the algorithm learns a well-justified finite-state projection tailored to the stationary behavior. We demonstrate the method's applicability to a wide range of non-linear problems with complex stationary behaviors.
2105.01536
Country:
- Europe > Germany > Saarland > Saarbrücken (0.04)
- Europe > Italy > Friuli Venezia Giulia > Trieste Province > Trieste (0.04)
- North America > United States > New York > Richmond County > New York City (0.04)
- (4 more...)
Genre:
- Research Report (0.64)
- Overview (0.46)
Technology: